🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic
Put a ring on it: a lock-free MPMC ring buffer
h4x0r.org·13h·
Discuss: Lobsters, Hacker News, r/programming
⚡Hardware Transactional Memory
Implementing Forth in Go and C
eli.thegreenplace.net·29m
🔗Concatenative Programming
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·13h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
CSPs - Part 1: How to (Almost) Always Win at Minesweeper
dev.to·11h·
Discuss: DEV
🔲Cellular Automata
Block unsafe prompts targeting your LLM endpoints with Firewall for AI
blog.cloudflare.com·14h
🛡️CLI Security
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.com·2h·
Discuss: Hacker News
👑Isabelle
Chatting with Unmesh about building language with LLMs
martinfowler.com·14h
💻Programming languages
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·10h·
Discuss: Hacker News
🦀Rust Macros
Harness AI Tackles Software Development’s Real Bottleneck
thenewstack.io·14h
👁️Observatory Systems
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·1d
🔧Hardware Verification
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
shared_ptr<T>: the (not always) atomic reference counted smart pointer (2019)
snf.github.io·2h·
Discuss: Lobsters, Hacker News
🦀Rust Borrowing
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·2d
🧪Binary Fuzzing
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·16h
✅Format Verification
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.com·14h·
Discuss: Hacker News
⚔️Lean Tactics
Mojo Vision
docs.modular.com·23h·
Discuss: Hacker News
🔩Systems Programming
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
When functions dissolve
rubber-duck-typing.com·2d·
Discuss: Hacker News
🐚Shell Calculus
Chatbots, APIs, and the Hidden Risks Inside Your Application Stack
blog.qualys.com·12h
👁️System Observability